منابع مشابه
Logic Programming with the Occur-check
We present a new procedure based on abstract interpretation for determining where the occur-check may be safely omitted from uniication in an SLD-derivation. The procedure can be used by compilers that allow co-routining and by parallel implementations. It has been designed primarily for a typed language such as GG odel where the type information can be used to improve both the accuracy of the ...
متن کاملA Comparison of Three Occur-Check Analysers
A well known problem of most Prolog interpreters and compilers is the lack of occur-check in the implementation of the uniication algorithm. This means that such systems are unsound with respect to rst-order predicate logic. Static analysis ooers an appealing approach to the problem of occur-check reduction, that is, how to safely omit occur-checks in uniication. We compare, for the rst time, t...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولThe Guderley problem revisited
The self-similar converging-diverging shock wave problem introduced by Guderley in 1942 has been the source of considerable mathematical and physical interest. We investigate a novel application of the Guderley solution as a unique and challenging code verification test problem for compressible flow algorithms; this effort requires a unified understanding of the problem’s mathematical and compu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1988
ISSN: 0743-1066
DOI: 10.1016/0743-1066(88)90012-x